English Computing Dictionary
◊ COMPLETE THEORY
complete theory
An abstract logical {theory} in which all true
statements have formal {proofs} within the theory.
(1998-07-05)